Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 19, 20, 21, 22, 23, 24, 25 }

B grade: { 3, 12, 16, 17, 18, 26, 27 }

C grade: { }

F grade: { }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6 }

B grade: { 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27 }

C grade: { }

F grade: { }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 22, 23, 24 }

B grade: { 8, 12, 13, 18 }

C grade: { 19, 20, 21 }

F grade: { 9, 10, 11, 14, 15, 16, 17, 25, 26, 27 }

2.1.5 FriCAS

A grade: { 4, 5, 19, 20, 21, 22, 23, 24 }

B grade: { 1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18 }

C grade: { 25, 26, 27 }

F grade: { }

2.1.6 Sympy

A grade: { }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27 }

2.1.7 Giac

A grade: { 4, 6, 7, 8, 22, 24 }

B grade: { 1, 2, 3, 5, 16, 17, 18, 23 }

C grade: { 19, 20, 21 }

F grade: { 9, 10, 11, 12, 13, 14, 15, 25, 26, 27 }

2.1.8 Mupad

A grade: { }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8 }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)











Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 112 112 148 129 141 249 0 351 106
normalized size 1 1.00 1.32 1.15 1.26 2.22 0.00 3.13 0.95
time (sec) N/A 0.067 3.571 1.593 0.332 0.538 0.000 0.394 1.735




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 112 83 90 159 0 211 70
normalized size 1 1.00 1.51 1.12 1.22 2.15 0.00 2.85 0.95
time (sec) N/A 0.046 3.673 1.355 0.323 0.473 0.000 0.363 0.427




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B A A B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 83 47 49 91 0 106 42
normalized size 1 1.00 2.02 1.15 1.20 2.22 0.00 2.59 1.02
time (sec) N/A 0.030 0.638 1.147 0.333 0.403 0.000 0.517 0.149




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 17 18 32 0 18 16
normalized size 1 1.00 1.00 1.06 1.12 2.00 0.00 1.12 1.00
time (sec) N/A 0.012 0.009 0.885 0.322 0.430 0.000 0.698 0.101




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 46 50 46 260 0 81 104
normalized size 1 1.00 1.00 1.09 1.00 5.65 0.00 1.76 2.26
time (sec) N/A 0.047 0.208 0.614 0.459 0.452 0.000 0.585 0.251




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 166 140 109 492 0 140 1958
normalized size 1 1.00 1.80 1.52 1.18 5.35 0.00 1.52 21.28
time (sec) N/A 0.107 0.833 0.707 0.434 0.491 0.000 0.343 1.989




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 144 144 201 363 234 950 0 224 3189
normalized size 1 1.00 1.40 2.52 1.62 6.60 0.00 1.56 22.15
time (sec) N/A 0.184 1.594 0.710 0.429 0.588 0.000 0.960 3.926




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 204 204 263 737 404 1592 0 354 4447
normalized size 1 1.00 1.29 3.61 1.98 7.80 0.00 1.74 21.80
time (sec) N/A 0.325 3.357 0.705 0.467 0.791 0.000 0.743 4.764




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 167 167 246 3621 0 1986 0 0 -1
normalized size 1 1.00 1.47 21.68 0.00 11.89 0.00 0.00 -0.01
time (sec) N/A 0.182 3.585 2.330 0.000 2.208 0.000 0.000 0.000




















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 208 1286 0 1607 0 0 -1
normalized size 1 1.00 1.75 10.81 0.00 13.50 0.00 0.00 -0.01
time (sec) N/A 0.096 0.910 2.302 0.000 1.021 0.000 0.000 0.000




















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 149 419 0 1341 0 0 -1
normalized size 1 1.00 1.84 5.17 0.00 16.56 0.00 0.00 -0.01
time (sec) N/A 0.050 0.228 1.908 0.000 0.666 0.000 0.000 0.000




















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B B B B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 40 98 182 987 414 0 0 -1
normalized size 1 1.03 2.51 4.67 25.31 10.62 0.00 0.00 -0.03
time (sec) N/A 0.036 0.150 1.456 0.658 0.655 0.000 0.000 0.000




















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 146 652 2050 652 0 0 -1
normalized size 1 1.00 1.90 8.47 26.62 8.47 0.00 0.00 -0.01
time (sec) N/A 0.049 0.353 1.411 0.890 0.721 0.000 0.000 0.000




















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-1) B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 126 126 173 2702 0 973 0 0 -1
normalized size 1 1.00 1.37 21.44 0.00 7.72 0.00 0.00 -0.01
time (sec) N/A 0.100 1.700 1.459 0.000 1.359 0.000 0.000 0.000




















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-1) B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 180 180 231 4815 0 1445 0 0 -1
normalized size 1 1.00 1.28 26.75 0.00 8.03 0.00 0.00 -0.01
time (sec) N/A 0.176 1.444 1.775 0.000 3.357 0.000 0.000 0.000




















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B B F B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 94 312 0 193 0 232 -1
normalized size 1 1.00 2.14 7.09 0.00 4.39 0.00 5.27 -0.02
time (sec) N/A 0.039 0.176 1.225 0.000 0.463 0.000 0.477 0.000




















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B B F B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 68 166 0 159 0 130 -1
normalized size 1 1.00 2.43 5.93 0.00 5.68 0.00 4.64 -0.04
time (sec) N/A 0.021 0.055 1.231 0.000 0.490 0.000 0.424 0.000




















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B B B B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 49 72 388 65 0 33 -1
normalized size 1 1.00 3.06 4.50 24.25 4.06 0.00 2.06 -0.06
time (sec) N/A 0.017 0.051 0.641 0.558 0.463 0.000 0.619 0.000




















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B C A F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 26 91 21 10 0 47 -1
normalized size 1 1.00 0.79 2.76 0.64 0.30 0.00 1.42 -0.03
time (sec) N/A 0.027 0.017 0.590 0.420 0.478 0.000 0.415 0.000




















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B C A F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 46 15 10 0 48 -1
normalized size 1 1.00 1.00 2.88 0.94 0.62 0.00 3.00 -0.06
time (sec) N/A 0.028 0.006 0.539 0.414 0.446 0.000 1.259 0.000




















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B C A F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 67 9 12 0 24 -1
normalized size 1 1.00 1.00 3.94 0.53 0.71 0.00 1.41 -0.06
time (sec) N/A 0.024 0.009 0.688 0.414 0.433 0.000 0.640 0.000




















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 24 92 21 25 0 47 -1
normalized size 1 1.00 0.80 3.07 0.70 0.83 0.00 1.57 -0.03
time (sec) N/A 0.022 0.015 0.617 0.412 0.445 0.000 0.385 0.000




















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 51 13 7 0 44 -1
normalized size 1 1.00 1.00 3.64 0.93 0.50 0.00 3.14 -0.07
time (sec) N/A 0.024 0.006 0.684 0.414 0.449 0.000 0.576 0.000




















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 68 9 5 0 22 -1
normalized size 1 1.00 1.00 4.53 0.60 0.33 0.00 1.47 -0.07
time (sec) N/A 0.019 0.009 0.612 0.426 0.432 0.000 0.765 0.000




















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 96 268 0 215 0 0 -1
normalized size 1 1.00 1.75 4.87 0.00 3.91 0.00 0.00 -0.02
time (sec) N/A 0.046 0.117 1.076 0.000 0.446 0.000 0.000 0.000




















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B B F C F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 70 139 0 115 0 0 -1
normalized size 1 1.00 2.12 4.21 0.00 3.48 0.00 0.00 -0.03
time (sec) N/A 0.025 0.039 1.053 0.000 0.431 0.000 0.000 0.000




















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B B F C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 51 75 0 65 0 0 -1
normalized size 1 1.00 2.83 4.17 0.00 3.61 0.00 0.00 -0.06
time (sec) N/A 0.020 0.031 0.760 0.000 0.409 0.000 0.000 0.000










2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [16] had the largest ratio of [.6000]

Table 2.1:Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)







1 A 4 3 1.00 14 0.214







2 A 4 3 1.00 14 0.214







3 A 4 3 1.00 14 0.214







4 A 3 2 1.00 12 0.167







5 A 3 3 1.00 14 0.214







6 A 5 5 1.00 14 0.357







7 A 6 6 1.00 14 0.429







8 A 7 6 1.00 14 0.429







9 A 8 8 1.00 16 0.500







10 A 7 7 1.00 16 0.438







11 A 6 6 1.00 16 0.375







12 A 3 3 1.03 16 0.188







13 A 4 4 1.00 16 0.250







14 A 6 6 1.00 16 0.375







15 A 7 6 1.00 16 0.375







16 A 6 6 1.00 10 0.600







17 A 5 5 1.00 10 0.500







18 A 3 3 1.00 10 0.300







19 A 4 4 1.00 12 0.333







20 A 3 3 1.00 12 0.250







21 A 3 3 1.00 12 0.250







22 A 4 4 1.00 10 0.400







23 A 3 3 1.00 10 0.300







24 A 3 3 1.00 10 0.300







25 A 7 7 1.00 12 0.583







26 A 6 6 1.00 12 0.500







27 A 3 3 1.00 12 0.250